Merge pull request #1999 from cgwalters/cci-2
authorOpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com>
Fri, 7 Feb 2020 14:08:05 +0000 (15:08 +0100)
committerGitHub <noreply@github.com>
Fri, 7 Feb 2020 14:08:05 +0000 (15:08 +0100)
ci: Replace PAPR with CoreOS CI


Trivial merge